[prev] [prev-tail] [tail] [up]

Integrals 1501 to 1541

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

714 714 1059 2520 0 0 0 0 0

N.S.

1 1.00 1.48 3.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.043 8.151 9.829 0.000 0.000 0.000 0.000 0.000

Problem 1502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

592 592 4669 8092 0 0 0 0 0

N.S.

1 1.00 7.89 13.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.781 27.475 33.204 0.000 0.000 0.000 0.000 0.000

Problem 1503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

487 487 3574 5827 0 0 0 0 0

N.S.

1 1.00 7.34 11.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.712 23.199 25.118 0.000 0.000 0.000 0.000 0.000

Problem 1504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

400 400 466 4088 0 0 0 0 0

N.S.

1 1.00 1.16 10.22 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.197 17.823 17.345 0.000 0.000 0.000 0.000 0.000

Problem 1505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

467 467 5171 2161 0 0 0 0 0

N.S.

1 1.00 11.07 4.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.185 20.584 11.548 0.000 0.000 0.000 0.000 0.000

Problem 1506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

509 509 896 2051 0 0 0 0 0

N.S.

1 1.00 1.76 4.03 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.479 15.482 8.884 0.000 0.000 0.000 0.000 0.000

Problem 1507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

543 543 1343 2956 0 0 0 0 0

N.S.

1 1.00 2.47 5.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.486 18.902 10.204 0.000 0.000 0.000 0.000 0.000

Problem 1508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

646 646 1828 5000 0 0 0 0 0

N.S.

1 1.00 2.83 7.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.234 14.919 8.773 0.000 0.000 0.000 0.000 0.000

Problem 1509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

766 766 704 7081 0 0 0 0 0

N.S.

1 1.00 0.92 9.24 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.939 14.640 17.683 0.000 0.000 0.000 0.000 0.000

Problem 1510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

590 590 4669 8088 0 0 0 0 0

N.S.

1 1.00 7.91 13.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.452 27.676 38.744 0.000 0.000 0.000 0.000 0.000

Problem 1511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

490 490 3611 6099 0 0 0 0 0

N.S.

1 1.00 7.37 12.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.774 23.961 24.381 0.000 0.000 0.000 0.000 0.000

Problem 1512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

550 550 6826 4600 0 0 0 0 0

N.S.

1 1.00 12.41 8.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.570 25.729 20.639 0.000 0.000 0.000 0.000 0.000

Problem 1513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

588 588 7536 3859 0 0 0 0 0

N.S.

1 1.00 12.82 6.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.065 25.684 13.806 0.000 0.000 0.000 0.000 0.000

Problem 1514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

595 595 1453 4338 0 0 0 0 0

N.S.

1 1.00 2.44 7.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.049 24.370 14.415 0.000 0.000 0.000 0.000 0.000

Problem 1515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

647 647 4952 5622 0 0 0 0 0

N.S.

1 1.00 7.65 8.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.256 28.590 13.829 0.000 0.000 0.000 0.000 0.000

Problem 1516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

764 764 601 7356 0 0 0 0 0

N.S.

1 1.00 0.79 9.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.948 11.862 13.840 0.000 0.000 0.000 0.000 0.000

Problem 1517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

705 705 5243 0 0 0 0 0 0

N.S.

1 1.00 7.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.689 28.781 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

592 592 4718 0 0 0 0 0 0

N.S.

1 1.00 7.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.576 27.759 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F F(-1) F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

640 640 7865 0 0 0 0 0 0

N.S.

1 1.00 12.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.210 28.895 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

703 703 10389 0 0 0 0 0 0

N.S.

1 1.00 14.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.767 27.691 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

682 682 13279 0 0 0 0 0 0

N.S.

1 1.00 19.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.659 29.356 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

707 707 1920 0 0 0 0 0 0

N.S.

1 1.00 2.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.873 28.155 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F(-1) F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

760 760 5541 0 0 0 0 0 0

N.S.

1 1.00 7.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.100 32.233 180.000 0.000 0.000 0.000 0.000 0.000

Problem 1524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

894 894 2908 9516 0 0 0 0 0

N.S.

1 1.00 3.25 10.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.628 19.854 20.628 0.000 0.000 0.000 0.000 0.000

Problem 1525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

506 506 3704 5833 0 0 0 0 0

N.S.

1 1.00 7.32 11.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.757 24.812 24.227 0.000 0.000 0.000 0.000 0.000

Problem 1526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

412 412 3208 3980 0 0 0 0 0

N.S.

1 1.00 7.79 9.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.233 23.055 13.225 0.000 0.000 0.000 0.000 0.000

Problem 1527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

333 333 326 1984 0 0 0 0 0

N.S.

1 1.00 0.98 5.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.995 14.411 11.911 0.000 0.000 0.000 0.000 0.000

Problem 1528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

407 407 621 930 0 0 0 0 0

N.S.

1 1.00 1.53 2.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.807 15.422 8.477 0.000 0.000 0.000 0.000 0.000

Problem 1529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

461 461 769 1091 0 0 0 0 0

N.S.

1 1.00 1.67 2.37 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.061 16.325 9.520 0.000 0.000 0.000 0.000 0.000

Problem 1530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

545 545 1360 2618 0 0 0 0 0

N.S.

1 1.00 2.50 4.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.508 19.648 10.267 0.000 0.000 0.000 0.000 0.000

Problem 1531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

653 653 1818 4746 0 0 0 0 0

N.S.

1 1.00 2.78 7.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.345 20.046 13.607 0.000 0.000 0.000 0.000 0.000

Problem 1532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

445 445 787 1096 0 0 0 0 0

N.S.

1 1.00 1.77 2.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.376 6.058 9.574 0.000 0.000 0.000 0.000 0.000

Problem 1533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

585 585 4900 7230 0 0 0 0 0

N.S.

1 1.00 8.38 12.36 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.189 27.863 25.158 0.000 0.000 0.000 0.000 0.000

Problem 1534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

464 464 3736 4650 0 0 0 0 0

N.S.

1 1.00 8.05 10.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.417 25.027 14.897 0.000 0.000 0.000 0.000 0.000

Problem 1535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

362 362 482 2377 0 0 0 0 0

N.S.

1 1.00 1.33 6.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.173 18.136 10.981 0.000 0.000 0.000 0.000 0.000

Problem 1536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

496 496 1024 2146 0 0 0 0 0

N.S.

1 1.00 2.06 4.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.181 20.348 9.129 0.000 0.000 0.000 0.000 0.000

Problem 1537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

595 595 1667 4326 0 0 0 0 0

N.S.

1 1.00 2.80 7.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.877 19.628 9.474 0.000 0.000 0.000 0.000 0.000

Problem 1538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

720 720 2438 6365 0 0 0 0 0

N.S.

1 1.00 3.39 8.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.554 18.904 12.678 0.000 0.000 0.000 0.000 0.000

Problem 1539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

660 660 5399 12419 0 0 0 0 0

N.S.

1 1.00 8.18 18.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.749 28.608 22.820 0.000 0.000 0.000 0.000 0.000

Problem 1540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

535 535 4821 8832 0 0 0 0 0

N.S.

1 1.00 9.01 16.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.152 27.151 12.720 0.000 0.000 0.000 0.000 0.000

Problem 1541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

495 495 3853 7225 0 0 0 0 0

N.S.

1 1.00 7.78 14.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.460 24.334 12.442 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]